Enumerating Answers to First-Order Queries over Databases of Low Degree

نویسندگان

چکیده

A class of relational databases has low degree if for all $\delta>0$, but finitely many in the have at most $n^{\delta}$, where $n$ is size database. Typical examples are bounded or by $\log n$. It known that over a having degree, first-order boolean queries can be checked pseudo-linear time, i.e.\ $\epsilon>0$ time $n^{1+\epsilon}$. We generalize this result considering query evaluation. show counting number answers to done and after preprocessing we test constant whether given tuple solution enumerate with delay.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

First-Order Queries over Temporal Databases Inexpressible in Temporal Logic

Queries over temporal databases involve references to time. We study diierences between two approaches of including such references into a rst-order query language (e.g., relational calculus): explicit (using typed variables and quantiiers) vs. implicit (using a nite set of modal connectives). We also show that though the latter approach|a rst-order query language with implicit references to ti...

متن کامل

An Ehrenfeucht-Fraïssé Approach to Collapse Results for First-Order Queries over Embedded Databases

We present a new proof technique for collapse results for first–order queries on databases which are embedded in N or R>0. Our proofs are by means of an explicitly constructed winning strategy for Duplicator in an Ehrenfeucht–Fräıssé game, and can deal with certain infinite databases where previous, highly involved methods fail. Our main result is that first–order logic has the natural–generic ...

متن کامل

Possible and Certain Answers for Queries over Order-Incomplete Data

To combine and query ordered data from multiple sources, one needs to handle uncertainty about the possible orderings. Examples of such “order-incomplete” data include integrated event sequences such as log entries; lists of properties (e.g., hotels and restaurants) ranked by an unknown function reflecting relevance or customer ratings; and documents edited concurrently with an uncertain order ...

متن کامل

First-Order Queries over One Unary Function

This paper investigates the complexity of query problem for first-order formulas on quasi-unary signatures, that is, on vocabularies made of a single unary function and any number of monadic predicates. We first prove a form of quantifier elimination result: any query defined by a quasi-unary first-order formula can be equivalently defined, up to a suitable linear-time reduction, by a quantifie...

متن کامل

On the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases

Recent approaches in the research on inconsistent databases have started analyzing the first-order reducibility of consistent query answering, i.e., the possibility of identifying classes of queries whose consistent answers can be obtained by a first-order (FOL) rewriting of the query, which in turn can be easily formulated in SQL and directly evaluated through any relational DBMS. So far, the ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Logical Methods in Computer Science

سال: 2022

ISSN: ['1860-5974']

DOI: https://doi.org/10.46298/lmcs-18(2:7)2022